Re ection in Oberon
نویسنده
چکیده
We introduce metaprogramming facilities into the Oberon V system Metaprogramming means that a module can access the struc ture of other modules i e procedures types run time data at run time We discuss how type safety can be enforced in an environment with strong typing Finally we show how metaprogramming can be used to implement an easy to use database interface and conclude with a com parison with other metaprogramming systems for statically typed pro gramming languages
منابع مشابه
The Formal Speci cation of Oberon
This paper presents the formal speci cation of the programming language Oberon. Using Montages we give a description of syntax, static, and dynamic semantics of all constructs of the language. The speci cation is arranged in ve re nement steps, each of them results in a working sub{language of Oberon. The compactness and readability of the speci cation make us believe that it can be used for a ...
متن کاملNotes on local re ection principles
We study the hierarchy of re ection principles obtained by restricting the full local re ection schema to the classes of the arithmetical hierarchy Optimal conservation results w r t the arithmetical complexity for such principles are obtained Re ection principles for an arithmetical theory T are formal schemata ex pressing the soundness of T that is the statement that every sentence provable i...
متن کاملReflection principles in computational logic
Dell'Acqua, P. 1998: Re ection Principles in Computational Logic, Uppsala Theses in Computing Science 30. 154pp. Uppsala. ISSN 0283-359X, ISBN 91-5061298-0. We introduce the concept of re ection principles as a knowledge representation paradigm in a computational logic setting. Re ection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the ...
متن کاملTowards Spetses I
We present a formalization using data uniquely de ned at the level of the Weyl group of the construction and combinatorial properties of unipotent character shea ves and unipotent characters for reductive algebraic groups over an algebraic closure of a nite eld This formalization extends to the case where the Weyl group is re placed by a complex re ection group and in many cases we get families...
متن کاملTransforming Teaching Practice: becoming the critically re ̄ective teacher
This article proposes a framework for conceptualizing developing as a critically re ̄ective teacher. The author posits that critical re ̄ection is the distinguishing attribute of re ̄ective practitioners. The term critical re ̄ection as developed here merges critical inquiry, the conscious consideration of the ethical implications and consequences of teaching practice, with self-re ̄ection, deep exa...
متن کامل